definition by substitution

[计] 用置换定义